Message passing in random satisfiability problems
نویسنده
چکیده
This talk surveys the recent development of message passing procedures for solving constraint satisfaction problems. The cavity method from statistical physics provides a generalization of the belief propagation strategy that is able to deal with the clustering of solutions in these problems. It allows to derive analytic results on their phase diagrams, and offers a new algorithmic framework.
منابع مشابه
Learning a SAT Solver from Single-Bit Supervision
We present NeuroSAT, a message passing neural network that learns to solve SAT problems after only being trained as a classifier to predict satisfiability. Although it is not competitive with state-of-the-art SAT solvers, NeuroSAT can solve problems that are substantially larger and more difficult than it ever saw during training by simply running for more iterations. Moreover, NeuroSAT general...
متن کاملComplete Convergence of Message Passing Algorithms for Some Satisfiability Problems
Experimental results show that certain message passing algorithms, namely, Survey Propagation, are very effective in finding satisfying assignments for random satisfiable 3CNF formulas which are considered hard for other SAT heuristics. Unfortunately, rigorous understanding of this phenomena is still lacking. In this paper we make a modest step towards providing rigorous explanation for the eff...
متن کاملPerturbed Message Passing for CSP Perturbed Message Passing for Constraint Satisfaction Problems
We introduce an efficient message passing scheme for solving Constraint Satisfaction Problems (CSPs), which uses stochastic perturbation of Belief Propagation (BP) and Survey Propagation (SP) messages to bypass decimation and directly produce a single satisfying assignment. Our first CSP solver, called Perturbed Belief Propagation, smoothly interpolates two well-known inference procedures; it s...
متن کاملThe Condensation Phase Transition in the Regular k-SAT Model
Much of the recent work on phase transitions in discrete structures has been inspired by ingenious but non-rigorous approaches from physics. The physics predictions typically come in the form of distributional fixed point problems that mimic Belief Propagation, a message passing algorithm. In this paper we show how the Belief Propagation calculation can be turned into a rigorous proof of such a...
متن کاملSparse Message Passing Algorithms for Weighted Maximum Satisfiability
Weighted maximum satisfiability is a wellstudied problem that has important applicability to artificial intelligence (for instance, MAP inference in Bayesian networks). General-purpose stochastic search algorithms have proven to be accurate and efficient for large problem instances; however, these algorithms largely ignore structural properties of the input. For example, many problems are highl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008